退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:改写惠誉风格的自然演绎
Herman Geuvers; Rob Nederpelt;
机译:惠誉风格自然演绎系统中的简化证明
机译:Gentzen-Prawitz和Jaskowski-Fitch自然扣除证明的翻译
机译:天然扣除风格的古典计算的非幂等类型
机译:自然语言解释的自然演绎证明。
机译:DNA计算机推论的自然演绎法则
机译:惠誉的悖论和标记自然演绎系统
机译:条件重写逻辑:演绎,模型和并发
机译:木屋风格(AZEKURA风格)自然能源利用存储棚屋,AZEKURA风格自然能源利用齐宫建筑,气功实践畜禽舍利用自然能源
机译:选择牙齿阴影和/或样式以恢复多种天然,植入或假牙的系统和方法,以根据现有牙齿进行阴影和/或样式变化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。